universal instantiation中文什么意思

普遍例式

全称实例化

• universal:    adj. 1.宇宙的，万有的，万物的 ...
• instantiation:    具体实例; 具现体、具现化实体; 例 ...
• explicit instantiation:    具现化; 显式实例化

百科释义

In predicate logic universal instantiationCopi and CohenHurleyMoore and Parker (UI, also called universal specification, and sometimes confused with Dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom.